PROBLE[S78,JMC] - www.SailDart.org

perm filename PROBLE[S78,JMC] blob sn#365736 filedate 1978-07-04 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Features of proposed problem solver.
C00003 ENDMK
C⊗;
Features of proposed problem solver.

1. uses knowledge

2. circumscription

3. uses metaknowledge

4. take into account proof theory